Formal Modelling of Industrial Distributed Control Systems
نویسنده
چکیده
Industrial Process Measurement and Control Systems (IPMCS) are used in most of the industrial sectors to achieve production improvement, process optimisation and time and cost reduction. Integration, reuse, flexibility and optimisation are demanded to adapt to a rapidly changing and competitive market. There is also a growing requirement that all software tools that support the different phases of the development process (design, configuration, management) can be integrated as well. Thus, a consolidation of modelling methodologies for achieving this goal is needed. This paper presents a formal modelling for IPMCS that captures all aspects of the system to design in terms of functionality and implementation (hardware and software). The modelling language (eXtensible Markup Language, XML) allow to implement model validation as well as to easily transform information coming from / going to different software tools, achieving tool integration. Copyright © 2005 IFAC
منابع مشابه
Layout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملA Multi-commodity Pickup and Delivery Open-tour m-TSP Formulation for Bike Sharing Rebalancing Problem
Bike sharing systems (BSSs) offer a mobility service whereby public bikes, located at different stations across an urban area, are available for shared use. An important point is that the distribution of rides between stations is not uniformly distributed and certain stations fill up or empty over time. These empty and full stations lead to demand for bikes and return boxes that cannot be fulfi...
متن کاملModelling and Synthesis of Safety-critical Software with IEC 61499
Software forms a central part of modern industrial control systems. It is routinely used, nowadays, to control a variety of physical processes through an integration of computing elements with sensors and actuators. The falling cost of digital electronics have also led to an increasing use of multiple computing units to control large distributed systems in a networked environment. The design of...
متن کاملSpecification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribution, such as the concurrency, the reactivity and the interaction between the entities. Among the most common reactive distributed systems we can cite industrial ones; distributed networks occur for example in telecommu...
متن کاملOn Integration of Model-based Validation in Software Engineering of Industrial Automation Systems
This paper introduces idea of a system architecture for industrial automation software systems which integrates the formal background of modular place transition models with the ideas of the upcoming IEC61499 standard for component based distributed measurement and control systems. Goal of the architecture is to support simulation and formal verification as a natural part of the engineering pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005